Software Verification – alle Bücher

Ihre Suche nach "software verification" ergab 4 Treffer

Anton Wijs

Concise Guide to Software Verification

Texts in Computer Science

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Guide to Software Verification with Frama-C

Computer Science Foundations and Applied Logic

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiqui…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 69,33*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Alessandro Gianola

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Lecture Notes in Business Information Processing -Band 470

This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy. It presents a new approach to safety verification of a particular class of i…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Douglas J Santry

Demystifying Deep Learning

Discover how to train Deep Learning models by learning how to build real Deep Learning software libraries and verification software! The study of Deep Learning and Artificial Neural Networks (ANN) is a si…

lieferbar innerhalb 1-2 Wochen

Buch

EUR 162,29*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb